@baseColor: #535353;
header {
	font-family:Helvetica,Arial,sans-self;
	background-color:lighten(@baseColor,50%);
	border:1px solid darken(@baseColor,10%);
	color:@baseColor;	
}